Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
141	H:/Users/arindamp/Documents/IISc/ME-Project/thesis/thesis.dvi Add to Reading List Source URL: www.cse.iitd.ernet.in Language: English - Date: 2011-04-23 06:31:41 Combinatorial optimization Graph connectivity Cut Connectivity Graph Submodular set function Combinatory logic Degree Gomory–Hu tree Graph theory Mathematics Theoretical computer science
142	PDF Document Add to Reading List Source URL: www.gustafsonresearch.com Language: English - Date: 2006-10-22 16:11:53 Applied mathematics Mathematics Genetic algorithms Science Cybernetics Genetic programming Algorithm Logic programming Evolutionary algorithms Operations research Mathematical optimization
143	Secrets of the Mathematical Contest in Modeling Add to Reading List Source URL: www.carroll.edu Language: English - Date: 2011-03-24 13:17:30 Theoretical computer science Applied mathematics Greedy algorithm Operations research Mathematical optimization How to Solve It Computational complexity theory Mathematics Algorithm Mathematical logic
144	A Hybrid AI Approach to Staff Scheduling Graham Winstanley School of Computing & Mathematical Sciences University of Brighton [removed] Add to Reading List Source URL: www.it.bton.ac.uk Language: English - Date: 2002-08-09 08:16:48 Computer programming Nurse scheduling problem Constraint satisfaction Constraint logic programming Constraint ECLiPSe Mathematical optimization Constraint programming Declarative programming Software engineering
145	C o n s t r a i n t P r o g r a m m i n g Constraints and AI Planning Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2005-12-27 13:41:27 Computer programming Constraint satisfaction Constraint graph Local consistency Logic programming Constraint optimization Hierarchical task network Bart Selman Automated planning and scheduling Constraint programming Software engineering Theoretical computer science
146	Optimizing I/O for Big Array Analytics∗ Yi Zhang Jun Yang Duke University Add to Reading List Source URL: vldb.org Language: English - Date: 2012-04-26 08:00:37 Software engineering Compilers Assembly languages CDC software Data dependency Mathematical optimization Entailment Parallel computing Rope Logic Computing Compiler optimizations
147	E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-09-14 13:48:35 Mathematics Applied mathematics Operations research Boolean algebra WalkSAT Boolean satisfiability problem Local search Mathematical optimization Satisfiability Theoretical computer science Constraint programming Logic in computer science
148	STATIONARY FIELDS IN OBJECT-ORIENTED PROGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: www.chrisunkel.com Language: English - Date: 2010-04-18 00:00:38 Algorithm Mathematical logic Theoretical computer science Type system Java Action Mathematical optimization Computing Physics Software engineering
149	Annual Research Report 2006 Add to Reading List Source URL: criepi.denken.or.jp Language: English - Date: 2008-09-29 03:39:48 Operations research Algorithm Mathematical logic Theoretical computer science Genetic algorithm Systems engineering Science Mathematical optimization Applied mathematics Mathematics
150	The management of the mechanized face, considered as a unique system «The management of the mechanized face, considered as a unique system» Add to Reading List Source URL: scholarlyoa.files.wordpress.com Language: English - Date: 2015-01-17 18:41:51 Fuzzy logic Matrix Mathematical optimization Chemical element

UPDATE